Contracts for Abstract Processes in Service Composition
نویسندگان
چکیده
منابع مشابه
Contracts for Abstract Processes in Service Composition
Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the abil...
متن کاملComposition Contracts for Service Interaction
In this paper, we address some of the challenges raised by the emerging serviceoriented computing paradigm in what concerns the ability to define dynamic interactions between core services for flexible and agile business processes. We claim that, from this point of view, service interaction and composition is well beyond the reach of object-oriented and componentbased techniques. We argue inste...
متن کاملAbstract Service for Cyber Physical Service Composition
The collaboration of cyber physical systems poses many real-world challenges, such as knowledge restriction, resource contention, and communication limitation. Service oriented architecture has been proven effective in solving interoperability issues in the software engineering field. The semantic web service helps to automate service discovery and integration with semantic information. This ch...
متن کاملChapter 108 Abstract Service for Cyber Physical Service Composition
The collaboration of cyber physical systems poses many real-world challenges, such as knowledge restriction, resource contention, and communication limitation. Service oriented architecture has been proven effective in solving interoperability issues in the software engineering field. The semantic web service helps to automate service discovery and integration with semantic information. This ch...
متن کاملA Foundational Theory of Contracts for Multi-party Service Composition
In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully exploited to solve the problem of client/service composition. Inspired by current orchestration languages, we consider services where the choice to perform an output may not depend on the environment. Under this assumption, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.46.2